Program synthesis

Results: 338



#Item
51Recursive Program Synthesis Aws Albarghouthi (UToronto), Sumit Gulwani (MSR), and Zachary Kincaid (UToronto) CAV 2013 Saint Petersburg, Russia

Recursive Program Synthesis Aws Albarghouthi (UToronto), Sumit Gulwani (MSR), and Zachary Kincaid (UToronto) CAV 2013 Saint Petersburg, Russia

Add to Reading List

Source URL: www.cs.utoronto.ca

- Date: 2013-07-25 09:57:50
    52Call for papers 22nd International Symposium on Logic-Based Program Synthesis and Transformation http://costa.ls.fi.upm.es/lopstr12/ 18–20 September, 2012, Leuven, Belgium (co-located with PPDP 2012)

    Call for papers 22nd International Symposium on Logic-Based Program Synthesis and Transformation http://costa.ls.fi.upm.es/lopstr12/ 18–20 September, 2012, Leuven, Belgium (co-located with PPDP 2012)

    Add to Reading List

    Source URL: costa.ls.fi.upm.es

    Language: English - Date: 2011-12-14 00:30:08
      53Recursive Program Synthesis Aws Albarghouthi1 , Sumit Gulwani2 , and Zachary Kincaid1 1 University of Toronto 2

      Recursive Program Synthesis Aws Albarghouthi1 , Sumit Gulwani2 , and Zachary Kincaid1 1 University of Toronto 2

      Add to Reading List

      Source URL: www.cs.utoronto.ca

      Language: English - Date: 2013-04-06 17:20:26
        54From Program Verification to Program Synthesis Saurabh Srivastava Sumit Gulwani Jeffrey S. Foster

        From Program Verification to Program Synthesis Saurabh Srivastava Sumit Gulwani Jeffrey S. Foster

        Add to Reading List

        Source URL: www.cs.umd.edu

        Language: English - Date: 2009-11-03 10:14:03
          55FlashMeta: A Framework for Inductive Program Synthesis Oleksandr Polozov Sumit Gulwani University of Washington, USA

          FlashMeta: A Framework for Inductive Program Synthesis Oleksandr Polozov Sumit Gulwani University of Washington, USA

          Add to Reading List

          Source URL: research.microsoft.com

          Language: English - Date: 2015-08-27 23:01:32
            56Pre-Proceedings of LOPSTR 2008 The 18th International Symposium on Logic-Based Program Synthesis and Transformation Michael Hanus (Ed.) Technical University of Valencia (Spain). July 2008

            Pre-Proceedings of LOPSTR 2008 The 18th International Symposium on Logic-Based Program Synthesis and Transformation Michael Hanus (Ed.) Technical University of Valencia (Spain). July 2008

            Add to Reading List

            Source URL: www.informatik.uni-kiel.de

            Language: English - Date: 2008-07-21 11:38:27
            57World Bank Group Engagement in Resource-Rich Developing Countries: The Cases of the Plurinational State of Bolivia, Kazakhstan, Mongolia, and Zambia Clustered Country Program Evaluation Synthesis Report A N I N D E PE N

            World Bank Group Engagement in Resource-Rich Developing Countries: The Cases of the Plurinational State of Bolivia, Kazakhstan, Mongolia, and Zambia Clustered Country Program Evaluation Synthesis Report A N I N D E PE N

            Add to Reading List

            Source URL: ieg.worldbank.org

            Language: English - Date: 2015-08-12 19:51:34
              58World Bank Group Engagement in Resource-Rich Developing Countries: The Cases of the Plurinational State of Bolivia, Kazakhstan, Mongolia, and Zambia Clustered Country Program Evaluation Synthesis Report A N I N D E PE N

              World Bank Group Engagement in Resource-Rich Developing Countries: The Cases of the Plurinational State of Bolivia, Kazakhstan, Mongolia, and Zambia Clustered Country Program Evaluation Synthesis Report A N I N D E PE N

              Add to Reading List

              Source URL: ieg.worldbankgroup.org

              Language: English - Date: 2015-08-13 09:27:41
                59Software Verification and Synthesis using Constraints and Program Transformation Emanuele De Angelis University ‘G. d’Annunzio’ of Chieti–Pescara Convegno Italiano di Logica Computazionale 2015 Genova, 1 July, 20

                Software Verification and Synthesis using Constraints and Program Transformation Emanuele De Angelis University ‘G. d’Annunzio’ of Chieti–Pescara Convegno Italiano di Logica Computazionale 2015 Genova, 1 July, 20

                Add to Reading List

                Source URL: www.sci.unich.it

                Language: English - Date: 2015-10-03 15:32:56
                  60World Bank Group Engagement in Resource-Rich Developing Countries: The Cases of the Plurinational State of Bolivia, Kazakhstan, Mongolia, and Zambia Clustered Country Program Evaluation Synthesis Report A N I N D E PE N

                  World Bank Group Engagement in Resource-Rich Developing Countries: The Cases of the Plurinational State of Bolivia, Kazakhstan, Mongolia, and Zambia Clustered Country Program Evaluation Synthesis Report A N I N D E PE N

                  Add to Reading List

                  Source URL: ieg.worldbank.org

                  Language: English - Date: 2015-08-13 09:27:41